6,627 research outputs found

    A high-performance data structure for mobile information systems

    Get PDF
    Mobile information systems can now be provided on small form-factor computers. Dictionary-based data compression extends the capabilities of systems with limited processing and memory to enable data intensive applications to be supported in such environments. The nature of judicial sentencing decisions requires that a support system provides accurate and up-to-date data and is compatible with the professional working experience of a judge. The difficulties caused by mobility and the data dependence of the decision-making process are addressed by an Internet-based architecture for collecting and distributing system data.We describe an approach to dictionary-based data compression and the structure of an information system that makes use of this technology

    On Building Distributed Soft Real-Time Systems

    Get PDF
    When building a distributed real-time system, one can either build the whole system from scratch, or from pre-existing standard components. Although the former allows better scheduling design, it may not be economical in terms of the cost and time of development. This paper studies the performance of distributed soft real-time systems that use standard components with various scheduling algorithms and suggests ways to improve them.published_or_final_versio

    Crossover from anomalous to normal diffusion: truncated power-law noise correlations and applications to dynamics in lipid bilayers

    Get PDF
    The emerging diffusive dynamics in many complex systems shows a characteristic crossover behaviour from anomalous to normal diffusion which is otherwise fitted by two independent power-laws. A prominent example for a subdiffusive-diffusive crossover are viscoelastic systems such as lipid bilayer membranes, while superdiffusive-diffusive crossovers occur in systems of actively moving biological cells. We here consider the general dynamics of a stochastic particle driven by so-called tempered fractional Gaussian noise, that is noise with Gaussian amplitude and power-law correlations, which are cut off at some mesoscopic time scale. Concretely we consider such noise with built-in exponential or power-law tempering, driving an overdamped Langevin equation (fractional Brownian motion) and fractional Langevin equation motion. We derive explicit expressions for the mean squared displacement and correlation functions, including different shapes of the crossover behaviour depending on the concrete tempering, and discuss the physical meaning of the tempering. In the case of power-law tempering we also find a crossover behaviour from faster to slower superdiffusion and slower to faster subdiffusion. As a direct application of our model we demonstrate that the obtained dynamics quantitatively described the subdiffusion-diffusion and subdiffusion-subdiffusion crossover in lipid bilayer systems. We also show that a model of tempered fractional Brownian motion recently proposed by Sabzikar and Meerschaert leads to physically very different behaviour with a seemingly paradoxical ballistic long time scaling

    The role of heart rate on the associations between body composition and heart rate variability in children with overweight/obesity : the ActiveBrains project

    Get PDF
    Background: Heart rate variability (HRV) is negatively associated with body mass index and adiposity in several populations. However, less information is available about this association in children with overweight and obesity, especially severe/morbid obesity, taking into consideration the dependence of HRV on heart rate (HR). Objectives: (1) to examine associations between body composition measures and HRV, (2) to study differences in HRV between children with overweight and severe/morbid obesity; and (3) to test whether relationships and differences tested in objectives 1 and 2, respectively are explained by the dependency of HRV on HR. Methods: A total of 107 children with overweight/obesity (58% boys, 10.03 +/- 1.13 years) participated in this study. Body composition measures were evaluated by Dual-energy X-ray absorptiometry (DXA). HRV parameters were measured with Polar RS800CXR (R). Results: Body composition measures were negatively associated with HRV indicators of parasympathetic activity (beta values ranging from -0.207 to -0.307, all p 0.05). Conclusion: All associations between adiposity/obesity and HRV could be explained by HR, suggesting a key confounding role of HR in HRV studies in children with weight disturbances

    Atomicity in the Internet of Transactional Things (Io2T)

    Get PDF
    © 2020, Springer Nature Switzerland AG. Like other software components, IoT things are likely to collaborate with each other in order to attain a desirable business goal. This sort of collaboration in a cyber-physical surrounding dictates a special transactional model that warrants further study and investigation. In this paper, we argue that the atomicity model (i.e., all or none execution) that is witnessed in other fields cannot be fully exercised in the context of IoT. To that end, a more relaxing model (semi-atomicity) is introduced and is more amenable to the various duties associated with things in terms of sensing, actuating, and communicating. These duties are carried out under different transactional properties. to which things bind. A case study along with a set of experiments demonstrate the benefits of semi-atomicity in the context of IoT

    Microsatellite genotyping clarified conspicuous accumulation of Candida parapsilosis at a cardiothoracic surgery intensive care unit.

    Get PDF
    Contains fulltext : 124291.pdf (publisher's version ) (Open Access)Candida parapsilosis has become a significant cause of invasive fungal infections in seriously ill patients. Nosocomial outbreaks through direct and indirect contact have been described. The aim of this study was the molecular characterization of what appeared to be an ongoing C. parapsilosis outbreak at the cardiothoracic intensive care unit of the University Hospital of Vienna between January 2007 and December 2008. Using two different molecular typing methods-automated repetitive sequence-based PCR (DiversiLab; bioMerieux) and microsatellite genotyping-we investigated the genetic relationship of 99 C. parapsilosis isolates. Eighty-three isolates originated from the cardiothoracic intensive care unit, while 16 isolates were random control isolates from other intensive care units and a different Austrian hospital. The 99 C. parapsilosis isolates analyzed by repetitive-element PCR all showed identical genotypes, suggesting an ongoing outbreak. In contrast, microsatellite genotyping showed a total of 56 different genotypes. Two major genotypes were observed in 10 and 15 isolates, respectively, whereas another 13 genotypes were observed in 2 to 4 isolates each. Forty-one genotypes were observed only once. Closely related genotypes that differed in only a single microsatellite marker were grouped into clonal complexes. When it comes to C. parapsilosis, microsatellite genotyping is a more discriminative method than repetitive-element PCR genotyping to investigate outbreaks.1 november 201

    Metabolic Responses of Two Assisted CPR Devices Versus Manual CPR during 1-Person CPR

    Get PDF
    Prolonged, one-person CPR is exhausting and associated with decayed CPR quality over time. Active compression-decompression-CPR (ACD-CPR) requires the rescuer to actively work during both phases of CPR. We evaluated the metabolic cost of manual CPR (M-CPR), ACD-CPR1, and ACD-CPR2 (with adhesive pad) during a 10-min resuscitation period. We hypothesized that the metabolic cost for the devices would be similar to M-CPR. Twenty (10 female) participants (23.5±3.5y, 165.8±25.6cm, 72.5±12.2kg) completed 3 randomized trials with performance feedback by investigators. Expired air was analyzed for estimations of metabolic cost via indirect calorimetry. Participants rested for 10 minutes before the baseline data collection followed by 10 min of CPR to simulate one-person CPR. Treatment effects were observed for VO2, METS, VCO2, HR, RR, blood lactate, and RPE. No such effect was observed for RQ, SBP, or DBP. VO2 (ml/kgBW/min) was significantly higher with ACD-CPR1 (17.8±1.4) vs. MCPR and ACD-CPR2 (15.9±0.9 and 14.2±1.1, respectively). Metabolic equivalent (MET) was significantly lower with ACD-CPR2 (4.1±0.3) vs. MCPR and ACD-CPR1 (4.7±0.3 and 5.1±0.4, respectively). All three groups’ blood lactate data differed significantly with ACD-CPR1 \u3e M-CPR \u3e ACD-CPR2. The RR required by the ACD-CPR1 during a 10 min CPR simulation is significantly higher than the ACD-CPR2 and M-CPR. No group differences were observed for RQ, SBP, or DBP. CPR performance metrics were averaged over the 10-min resuscitation period. RPE was significantly higher following ACD-CPR1 compared to both M-CPR and ACD-CPR2. The metabolic work required by the ACD-CPR2 during 10-min simulated one-person resuscitation (80/min) is far less than the ACD-CPR1. However, the ACD-CPR2 metabolic cost is similar to that of M-CPR, despite the latter method’s higher rate of compressions (110/min) and passive decompressions

    Specifying and Analysing SOC Applications with COWS

    Get PDF
    COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above
    corecore